be retired on full pay